/*
 Rule 8.12 (r)
 When an array is declared with external linkage, its size shall be stated explicitely or defined implicitly by initialization.
*/


#include <stdio.h>
#include "mc2main_0812V001NonCompliant_02.h"


extern int32_t a[];
void mc2main_0812V001NonCompliant_01 ( void );
void mc2main_0812V001NonCompliant_01 ( void )
{

}

int32_t main(void)
{
 a[0]=0;
 a[1]=a[0];
 return 0;
}
